The Simplest Non-Regular Deterministic Context-Free Language

We introduce a new notion of ?-simple problems for a class ? of decision problems (i.e. languages), w.r.t. a particular reduction. A problem is ?-simple if it can be reduced to each problem in ?. This can be viewed as a conceptual counterpart to ?-hard problems to which all problems in ? reduce. Our concrete example is the class of non-regular deterministic context-free languages (DCFL\u27), with a truth-table reduction by Mealy machines. The main technical result is a proof that the DCFL\u27 language L_# = {0^n1^n ? n ? 1} is DCFL\u27-simple, and can be thus viewed as one of the simplest languages in the class DCFL\u27, in a precise sense. The notion of DCFL\u27-simple languages is nontrivial: e.g., the language L_R = {wcw^R? w ? {a,b}^*} is not DCFL\u27-simple. By describing an application in the area of neural networks (elaborated in another paper), we demonstrate that ?-simple problems under suitable reductions can provide a tool for expanding the lower-bound results known for single problems to the whole classes of problems

The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets

A set of configurations H is a home-space for a set of configurations X of a Petri net if every configuration reachable from (any configuration in) X can reach (some configuration in) H. The semilinear home-space problem for Petri nets asks, given a Petri net and semilinear sets of configurations X, H, if H is a home-space for X. In 1989, David de Frutos Escrig and Colette Johnen proved that the problem is decidable when X is a singleton and H is a finite union of linear sets with the same periods. In this paper, we show that the general (semilinear) problem is decidable. This result is obtained by proving a duality between the reachability problem and the non-home-space problem. In particular, we prove that for any Petri net and any linear set of configurations L we can effectively compute a semilinear set C of configurations, called a non-reachability core for L, such that for every set X the set L is not a home-space for X if, and only if, C is reachable from X. We show that the established relation to the reachability problem yields the Ackermann-completeness of the (semilinear) home-space problem. For this we also show that, given a Petri net with an initial marking, the set of minimal reachable markings can be constructed in Ackermannian time

Effect of Iron Overload and Iron Deficiency on Liver Hemojuvelin Protein

INTRODUCTION: Hemojuvelin (Hjv) is a key component of the signaling cascade that regulates liver hepcidin (Hamp) expression. The purpose of this study was to determine Hjv protein levels in mice and rats subjected to iron overload and iron deficiency. METHODS: C57BL/6 mice were injected with iron (200 mg/kg); iron deficiency was induced by feeding of an iron-deficient diet, or by repeated phlebotomies. Erythropoietin (EPO)-treated mice were administered recombinant EPO at 50 U/mouse. Wistar rats were injected with iron (1200 mg/kg), or fed an iron-deficient diet. Hjv protein was determined by immunoblotting, liver samples from Hjv-/- mice were used as negative controls. Mouse plasma Hjv content was determined by a commercial ELISA kit. RESULTS: Liver crude membrane fraction from both mice and rats displayed a major Hjv-specific band at 35 kDa, and a weaker band of 20 kDa. In mice, the intensity of these bands was not changed following iron injection, repeated bleeding, low iron diet or EPO administration. No change in liver crude membrane Hjv protein was observed in iron-treated or iron-deficient rats. ELISA assay for mouse plasma Hjv did not show significant difference between Hjv+/+ and Hjv-/- mice. Liver Hamp mRNA, Bmp6 mRNA and Id1 mRNA displayed the expected response to iron overload and iron deficiency. EPO treatment decreased Id1 mRNA, suggesting possible participation of the bone morphogenetic protein pathway in EPO-mediated downregulation of Hamp mRNA. DISCUSSION: Since no differences between Hjv protein levels were found following various experimental manipulations of body iron status, the results indicate that, in vivo, substantial changes in Hamp mRNA can occur without noticeable changes of membrane hemojuvelin content. Therefore, modulation of hemojuvelin protein content apparently does not represent the limiting step in the control of Hamp gene expression

The Minimal Proteome in the Reduced Mitochondrion of the Parasitic Protist Giardia intestinalis

The mitosomes of Giardia intestinalis are thought to be mitochondria highly-reduced in response to the oxygen-poor niche. We performed a quantitative proteomic assessment of Giardia mitosomes to increase understanding of the function and evolutionary origin of these enigmatic organelles. Mitosome-enriched fractions were obtained from cell homogenate using Optiprep gradient centrifugation. To distinguish mitosomal proteins from contamination, we used a quantitative shot-gun strategy based on isobaric tagging of peptides with iTRAQ and tandem mass spectrometry. Altogether, 638 proteins were identified in mitosome-enriched fractions. Of these, 139 proteins had iTRAQ ratio similar to that of the six known mitosomal markers. Proteins were selected for expression in Giardia to verify their cellular localizations and the mitosomal localization of 20 proteins was confirmed. These proteins include nine components of the FeS cluster assembly machinery, a novel diflavo-protein with NADPH reductase activity, a novel VAMP-associated protein, and a key component of the outer membrane protein translocase. None of the novel mitosomal proteins was predicted by previous genome analyses. The small proteome of the Giardia mitosome reflects the reduction in mitochondrial metabolism, which is limited to the FeS cluster assembly pathway, and a simplicity in the protein import pathway required for organelle biogenesis

Long-Term Cold Acclimation Extends Survival Time at 0°C and Modifies the Metabolomic Profiles of the Larvae of the Fruit Fly Drosophila melanogaster

Drosophila melanogaster is a chill-susceptible insect. Previous studies on this fly focused on acute direct chilling injury during cold shock and showed that lower lethal temperature (LLT, approximately -5°C) exhibits relatively low plasticity and that acclimations, both rapid cold hardening (RCH) and long-term cold acclimation, shift the LLT by only a few degrees at the maximum.We found that long-term cold acclimation considerably improved cold tolerance in fully grown third-instar larvae of D. melanogaster. A comparison of the larvae acclimated at constant 25°C with those acclimated at constant 15°C followed by constant 6°C for 2 d (15°C→6°C) showed that long-term cold acclimation extended the lethal time for 50% of the population (Lt(50)) during exposure to constant 0°C as much as 630-fold (from 0.137 h to 86.658 h). Such marked physiological plasticity in Lt(50) (in contrast to LLT) suggested that chronic indirect chilling injury at 0°C differs from that caused by cold shock. Long-term cold acclimation modified the metabolomic profiles of the larvae. Accumulations of proline (up to 17.7 mM) and trehalose (up to 36.5 mM) were the two most prominent responses. In addition, restructuring of the glycerophospholipid composition of biological membranes was observed. The relative proportion of glycerophosphoethanolamines (especially those with linoleic acid at the sn-2 position) increased at the expense of glycerophosphocholines.Third-instar larvae of D. melanogaster improved their cold tolerance in response to long-term cold acclimation and showed metabolic potential for the accumulation of proline and trehalose and for membrane restructuring

Protecting 30% of the planet for nature: costs, benefits and economic implications

A. Waldron, K. Nakamura, J. Sze, T. Vilela, A. Escobedo, P. Negret Torres, R. Button, K. Swinnerton, A. Toledo, P. Madgwick, N. Mukherjee were supported by National Geographic and the Resources Legacy Fund. V. Christensen was supported by NSERC Discovery Grant RGPIN-2019-04901. M. Coll and J. Steenbeek were supported by EU Horizon 2020 research and innovation programme under grant agreement No 817578 (TRIATLAS). D. Leclere was supported by TradeHub UKRI CGRF project. R. Heneghan was supported by Spanish Ministry of Science, Innovation and Universities, Acciones de Programacion Conjunta Internacional (PCIN-2017-115). M. di Marco was supported by MIUR Rita Levi Montalcini programme. A. Fernandez-Llamazares was supported by Academy of Finland (grant nr. 31176). S. Fujimori and T. Hawegawa were supported by The Environment Research and Technology Development Fund (2-2002) of the Environmental Restoration and Conservation Agency of Japan and the Sumitomo Foundation. V. Heikinheimo was supported by Kone Foundation, Social Media for Conservation project. K. Scherrer was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme under grant agreement No 682602. U. Rashid Sumaila acknowledges the OceanCanada Partnership, which funded by the Social Sciences and Humanities Research Council of Canada (SSHRC). T. Toivonen was supported by Osk. Huttunen Foundation & Clare Hall college, Cambridge. W. Wu was supported by The Environment Research and Technology Development Fund (2-2002) of the Environmental Restoration and Conservation Agency of Japan. Z. Yuchen was supported by a Ministry of Education of Singapore Research Scholarship Block (RSB) Research Fellowship

Atlantoaxial fixation using the polyaxial screw–rod system

The aim of this study is to evaluate the first results of the atlantoaxial fixation using polyaxial screw–rod system. Twenty-eight patients followed-up 12–29 months (average 17.1 months) were included in this study. The average age was 59.5 years (range 23–89 years). The atlantoaxial fusion was employed in 20 patients for an acute injury to the upper cervical spine, in 1 patient with rheumatoid arthritis for atlantoaxial vertical instability, in 1 patient for C1–C2 osteoarthritis, in 2 patients for malunion of the fractured dens. Temporary fixation was applied in two patients for type III displaced fractures of the dens and in two patients for the atlantoaxial rotatory dislocation. Retrospectively, we evaluated operative time, intraoperative bleeding and the interval of X-ray exposure. The resulting condition was subjectively evaluated by patients. We evaluated also the placement, direction and length of the screws. Fusion or stability in the temporary fixation was evaluated on radiographs taken at 3, 6, 12 weeks and 6 and 12 months after the surgery. As concerns complications, intraoperatively we monitored injury of the nerve structures and the vertebral artery. Monitoring of postoperative complications was focused on delayed healing of the wound, breaking or loosening of screws and development of malunion. Operative time ranged from 35 to 155 min, (average 83 min). Intraoperative blood loss ranged from 50 to 1,500 ml (average 540 ml). The image intensifier was used for a period of 24 s to 2 min 36 s (average 1 min 6 s). Within the postoperative evaluation, four patients complained of paresthesia in the region innervated by the greater occipital nerve. A total of 56 screws were inserted into C1, their length ranged from 26 to 34 mm (average, 30.8 mm). All screws were positioned correctly in the C1 lateral mass. Another 56 screws were inserted into C2. Their length ranged from 28 to 36 mm (average 31.4 mm). Three screws were malpositioned: one screw perforated the spinal canal and two screws protruded into the vertebral artery canal. C1–C2 stability was achieved in all patients 12 weeks after the surgery. No clinically manifested injury of the vertebral artery or nerve structures was observed in any of these cases. As for postoperative complications, we recorded wound dehiscence in one patient. The Harms C1–C2 fixation is a very effective method of stabilizing the atlantoaxial complex. The possibility of a temporary fixation without damage to the atlantoaxial joints and of reduction after the screws and rods had been inserted is quite unique